00100	BEGIN
59800	EXPR GS2();
59900	     BEGIN
59950	     I←NIL;
60000	     SCHEMA2 ← '(DE FN2(L M)  (COND
60100	     ((AND ((CAR (GET F2 TARGS)) L)
60200	           ((CAR (GET F3 TARGS)) M)
60300	           ((CAR (GET F1 TARGS)) (F2 L))
60400	           ((CADR (GET F1 TARGS)) (F3 M))
60500	           (EQUAL (F1 (F2 L) (F3 M)) C1)
60600	           ((CAR (GET F5 TARGS)) L)
60700	           ((CAR (GET F6 TARGS)) M)
60800	           ((CAR (GET F4 TARGS)) (F5 L))
60900	           ((CADR (GET F4 TARGS)) (F6 M)))
61000	       (F4 (F5 L) (F6 M)))
61100	     ((AND ((CAR (GET F8 TARGS)) L)
61200	           ((CAR (GET F9 TARGS)) M)
61300	           ((CAR (GET F7 TARGS)) (F8 L))
61400	           ((CADR (GET F7 TARGS)) (F9 M))
61500	           (EQUAL (F7 (F8 L) (F9 M)) C3)
61600	            ((CAR (GET F11 TARGS)) L)
61700	           ((CAR (GET F12 TARGS)) M)
61800	           ((CAR (GET F10 TARGS)) (F11 L))
61900	           ((CADR (GET F10 TARGS)) (F12 M)))
62000	      (F10 (F11 L) (F12 M) )  )
62100	
62200	     ((OR (GT2 L M) 
62300	          (AND (INFINITY)
62400	               ((CAR (GET F16 TARGS)) M)
62500	               ((CAR (GET F15 TARGS)) L)
62600	               ((CAR (GET F14 TARGS)) (F15 L))
62700	               ((CADR (GET F14 TARGS)) (F16 M))
62800	               ((CAR (GET F18 TARGS)) L)
62900	               ((CAR (GET F19 TARGS)) M)
63000	               ((CAR (GET F17 TARGS)) (F18 L))
63100	               ((CADR (GET F17 TARGS)) (F19 M))
63200	               ((CAR (GET F13 TARGS))
63300	                        (SETQ &E1 (F14 (F15 L) (F16 M))))
63400	               ((CADR (GET F13 TARGS))
63500	                        (SETQ &E2 (F17 (F18 L) (F19 M))))))
63600	      (F13 &E1 &E2))
63700	     (T C2)
63725	   )
63737	  )
63743	)
63746	)
63748	)
63749	);
63750	
63775	
64100	     END;
99600	END.